Franco Montanari, Lara

Roberta Montanari

LARA + + Design Specification

This report presents a snap shot of work in progress regarding the active network research at Lancaster University. Section 2 outlines our main motivations for the work in the area of active networks. Section 3 introduces the active network architecture LARA++ describing the fundamental ideas and the model of the active network architecture. It provides a detailed description of the active node...

Franco P . Preparata N ° 3747

The minimum zone cylinder of a set of points in three dimensions is the cylindric crown deened by a pair of coaxial cylinders with minimal radial separation (width). In the context of tolerancing metrology, the set of points is nominally cylindrical, i.e., the points are known to lie in close proximity of a known reference cylinder. Using approximations which are valid only in the neighborhood ...

30ièmes Journées Franco-Belges de Pharmacochimie

The "Journées Franco-Belges de Pharmacochimie" is a recognized annual meeting in organic and medicinal chemistry known for the quality of scientific exchange and conviviality. Young researchers were encouraged to present their work and share ideas with senior scientists. Abstracts of plenary lectures, oral communications, and posters presented during the meeting are collected in this report.

Space - Aware Ambients and Processes ? Franco

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient calculus with bounded capacities and weighed processes, where migration and activation require space. A type system controls the dynamics of the calculus by providing static guarantees that th...